More from this Author

Formal Techniques for Distributed Objects, Components, and Systems

by Christel Baier (Editor)

Foundations of Software Science and Computation Structures

by Christel Baier (Editor), Ugo Dal Lago (Editor)

SOFSEM 2017: Theory and Practice of Computer Science

by Bernhard Steffen (Editor), Christel Baier (Editor), Mark van den Brand (Editor), Johann Eder (Editor), Mike Hinchey (Editor), Tiziana Margaria (Editor)

Tools and Algorithms for the Construction and Analysis of Systems

by Christel Baier (Editor), Cesare Tinelli (Editor)